public class Joueur extends Personne {
  /* {src_lang=Java}*/


      /**
   * 
   * @element-type But
   */

}